Östreicher, Thomas: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Distribution Algebras and Duality

Marta Bunge, Jonathon Funk, Mamuka Jibladze, Thomas Streicher

Journal:

Advances in Mathematics

Year:

2000

Language:

english

File:

PDF, 191 KB

english, 2000

2

Relating first-order set theories, toposes and categories of classes

Awodey, Steve, Butz, Carsten, Simpson, Alex, Streicher, Thomas

Journal:

Annals of Pure and Applied Logic

Year:

2014

Language:

english

File:

PDF, 1.73 MB

english, 2014

3

Consistency of the intensional level of the Minimalist Foundation with Church’s thesis and axiom of choice

Ishihara, Hajime, Maietti, Maria Emilia, Maschio, Samuele, Streicher, Thomas

Journal:

Archive for Mathematical Logic

Year:

2018

Language:

english

File:

PDF, 429 KB

english, 2018

4

Shoenfield is Gödel after Krivine

Thomas Streicher, Ulrich Kohlenbach

Journal:

Mathematical Logic Quarterly

Year:

2007

Language:

english

File:

PDF, 95 KB

english, 2007

5

The Michael completion of a topos spread

Marta Bunge, Jonathon Funk, Mamuka Jibladze, Thomas Streicher

Journal:

Journal of Pure and Applied Algebra

Year:

2002

Language:

english

File:

PDF, 238 KB

english, 2002

6

On the non-sequential nature of the interval-domain model of real-number computation

ESCARDÓ, MARTÍN, HOFMANN, MARTIN, STREICHER, THOMAS

Journal:

Mathematical Structures in Computer Science

Year:

2004

Language:

english

File:

PDF, 281 KB

english, 2004

7

Relating First-Order Set Theories and Elementary Toposes

Awodey, Steve, Butz, Carsten, Simpson, Alex, Streicher, Thomas

Journal:

Bulletin of Symbolic Logic

Year:

2007

Language:

english

File:

PDF, 205 KB

english, 2007

8

Skin Exposure to Isocyanates: Reasons for Concern

Bello, Dhimiter, Herrick, Christina A., Smith, Thomas J., Woskie, Susan R., Streicher, Robert P., Cullen, Mark R., Liu, Youcheng, Redlich, Carrie A.

Journal:

Environmental Health Perspectives

Year:

2006

Language:

english

File:

PDF, 550 KB

english, 2006

9

Baukonstruktionen / Bauphysik (Erweiterung 1: Energieeinsparung und Wärmeschutz. Energieausweis - Gesamtenergieeffizienz) || 011/4 Kühlbedarf

Streicher, Wolfgang, Pöhn, Christian, Pech, Anton, Bednar, Thomas

Year:

2017

File:

PDF, 131 KB

2017

10

In Domain Realizability, not all Functionals on C[–1, 1] are Continuous

Martín Escardó, Thomas Streicher

Journal:

Mathematical Logic Quarterly

Year:

2002

Language:

english

File:

PDF, 106 KB

english, 2002

11

A General Method for the Synthesis of C-Glycosides of Nojirimycin

Thomas Fuchss, Hansjörg Streicher, Richard R. Schmidt

Journal:

European Journal of Organic Chemistry

Year:

1997

Language:

english

File:

PDF, 803 KB

english, 1997

12

Semantics and logic of object calculi

Bernhard Reus, Thomas Streicher

Journal:

Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 322 KB

english, 2004

13

Practical Foundations of Mathematics: Paul Taylor, Cambridge Studies in Advanced Mathematics, Vol. 59, Cambridge University Press, Cambridge, 1999. xi+572 pages, price £50 paperback, ISBN 0-521-63107-6

Thomas Streicher

Journal:

Science of Computer Programming

Year:

2000

Language:

english

File:

PDF, 41 KB

english, 2000

14

Induction and recursion on the partial real line with applications to Real PCF

Martín Hötzel Escardó, Thomas Streicher

Journal:

Theoretical Computer Science

Year:

1999

Language:

english

File:

PDF, 2.22 MB

english, 1999

15

Denotational Completeness Revisited

Thomas STREICHER

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1999

Language:

english

File:

PDF, 670 KB

english, 1999

16

Submitochondrial particles fromSaccharomyces cerevisiaeto screen compounds for antiprotozoal activity

Carmen Streicher, Gerlinde Wiesenberger, Thomas Rosenau, Lars Gille

Journal:

BMC Pharmacology

Year:

2007

Language:

english

File:

PDF, 84 KB

english, 2007

17

Specification and design of shared resource arbitration

Manfred Broy, Thomas Streicher

Journal:

International Journal of Parallel Programming

Year:

1991

Language:

english

File:

PDF, 986 KB

english, 1991

18

Independence of the induction principle ad the axiom of choice in the pure calculus of constructions

Thomas Streicher

Journal:

Theoretical Computer Science

Year:

1992

Language:

english

File:

PDF, 961 KB

english, 1992

19

Food-induced changes in theophylline absorption from controlled-release formulations. Part I. Substantial increased and decreased absorption with Uniphyl tablets and Theo-Dur Sprinkle

Karim, Aziz, Burns, Thomas, Wearley, Lorraine, Streicher, Janice, Palmer, Michael

Journal:

Clinical Pharmacology & Therapeutics

Year:

1985

Language:

english

File:

PDF, 496 KB

english, 1985

20

Inductive Construction of Repletion

Thomas Streicher

Journal:

Applied Categorical Structures

Year:

1999

Language:

english

File:

PDF, 166 KB

english, 1999

21

Completeness of Continuation Models for λμ-Calculus

Martin Hofmann, Thomas Streicher

Journal:

Information and Computation

Year:

2002

Language:

english

File:

PDF, 183 KB

english, 2002

22

A synthetic theory of sequential domains

Bernhard Reus, Thomas Streicher

Journal:

Annals of Pure and Applied Logic

Year:

2012

Language:

english

File:

PDF, 296 KB

english, 2012

23

The non-clonality of drug resistance in Beijing-genotype isolates ofMycobacterium tuberculosisfrom the Western Cape of South Africa

Thomas R Ioerger, Yicheng Feng, Xiaohua Chen, Karen M Dobos, Thomas C Victor, Elizabeth M Streicher, Robin M Warren, Nicolaas C Gey van Pittius, Paul D Van Helden, James C Sacchettini

Journal:

Year:

2010

Language:

english

File:

PDF, 530 KB

english, 2010

24

Constructive toposes with countable sums as models of constructive set theory

Alex Simpson, Thomas Streicher

Journal:

Annals of Pure and Applied Logic

Year:

2012

Language:

english

File:

PDF, 306 KB

english, 2012

25

Realizability models refuting Ishiharaʼs boundedness principle

Peter Lietz, Thomas Streicher

Journal:

Annals of Pure and Applied Logic

Year:

2012

Language:

english

File:

PDF, 152 KB

english, 2012

26

embB 306 Mutations as Molecular Indicators to Predict Ethambutol Susceptibility in Mycobacterium tuberculosis

Sirgel, Frederick A., Warren, Robin M., Streicher, Elizabeth M., Victor, Thomas C., van Helden, Paul D., Böttger, Erik C.

Journal:

Year:

2012

Language:

english

File:

PDF, 146 KB

english, 2012

27

Semantics of Type Theory || Introduction

Streicher, Thomas

Year:

1991

Language:

english

File:

PDF, 2.64 MB

english, 1991

28

Genomic analysis identifies targets of convergent positive selection in drug-resistant Mycobacterium tuberculosis

Farhat, Maha R, Shapiro, B Jesse, Kieser, Karen J, Sultana, Razvan, Jacobson, Karen R, Victor, Thomas C, Warren, Robin M, Streicher, Elizabeth M, Calver, Alistair, Sloutsky, Alex, Kaur, Devinder, Pose

Journal:

Nature Genetics

Year:

2013

Language:

english

File:

PDF, 769 KB

english, 2013

29

Biomechanical Characteristics of Suture Anchor Implants for Flexor Digitorum Profundus Repair

Halát, Gabriel, Negrin, Lukas, Koch, Thomas, Erhart, Jochen, Platzer, Patrick, Hajdu, Stefan, Streicher, Johannes

Journal:

The Journal of Hand Surgery: British & European Volume

Year:

2014

Language:

english

File:

PDF, 630 KB

english, 2014

30

Diversification and asymmetrical gene flow across time and space: lineage sorting and hybridization in polytypic barking frogs

Streicher, Jeffrey W., Devitt, Thomas J., Goldberg, Caren S., Malone, John H., Blackmon, Heath, Fujita, Matthew K.

Journal:

Molecular Ecology

Year:

2014

Language:

english

File:

PDF, 725 KB

english, 2014

31

Characterization of W-Beijing isolates of Mycobacterium tuberculosis from the Western Cape

Shanley, Crystal A., Streicher, Elizma M., Warren, Robin M., Victor, Thomas C., Orme, Ian M.

Journal:

Year:

2013

Language:

english

File:

PDF, 1.79 MB

english, 2013

32

Impredicativity entails untypedness

LIETZ, PETER, STREICHER, THOMAS

Journal:

Mathematical Structures in Computer Science

Year:

2002

Language:

english

File:

PDF, 409 KB

english, 2002

33

Interventions pharmaceutiques, les logiciels peuvent-ils remplacer les relations entre professionnels ?

Streicher, C., Mosnier-Thomas, S., Berroneau, A., Xuereb, F., Djabarouti, S., Breilh, D.

Journal:

Le Pharmacien Hospitalier et Clinicien

Year:

2014

Language:

french

File:

PDF, 142 KB

french, 2014

34

An FTIR investigation of isocyanate skin absorption using in vitro guinea pig skin

Bello, Dhimiter, Smith, Thomas J., Woskie, Susan R., Streicher, Robert P., Boeniger, Mark F., Redlich, Carrie A., Liu, Youcheng

Journal:

Journal of Environmental Monitoring

Year:

2006

Language:

english

File:

PDF, 653 KB

english, 2006

35

Potent Cholesteryl Ester Transfer Protein Inhibitors of Reduced Lipophilicity: 1,1′-Spiro-Substituted Hexahydrofuroquinoline Derivatives

Trieselmann, Thomas, Wagner, Holger, Fuchs, Klaus, Hamprecht, Dieter, Berta, Daniela, Cremonesi, Paolo, Streicher, Rüdiger, Luippold, Gerd, Volz, Astrid, Markert, Michael, Nar, Herbert

Journal:

Journal of Medicinal Chemistry

Year:

2014

Language:

english

File:

PDF, 1.75 MB

english, 2014

36

[IEEE Factory Automation (ETFA 2010) - Bilbao (2010.09.13-2010.09.16)] 2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010) - Selecting UML models for test-driven development along the automation systems engineering process

Hametner, Reinhard, Winkler, Dietmar, Östreicher, Thomas, Surnic, Natascha, Biffl, Stefan

Year:

2010

Language:

english

File:

PDF, 631 KB

english, 2010

37

Potency enhancement of the κ-opioid receptor antagonist probe ML140 through sulfonamide constraint utilizing a tetrahydroisoquinoline motif

Frankowski, Kevin J., Slauson, Stephen R., Lovell, Kimberly M., Phillips, Angela M., Streicher, John M., Zhou, Lei, Whipple, David A., Schoenen, Frank J., Prisinzano, Thomas E., Bohn, Laura M., Aubé,

Journal:

Bioorganic & Medicinal Chemistry

Year:

2015

Language:

english

File:

PDF, 696 KB

english, 2015

38

A universality theorem for PCF with recursive types, parallel-or and

Streicher, Thomas

Journal:

Mathematical Structures in Computer Science

Year:

1994

Language:

english

File:

PDF, 451 KB

english, 1994

39

Preface

ESCARDÓ, MARTÍN, JUNG, ACHIM, STREICHER, THOMAS

Journal:

Mathematical Structures in Computer Science

Year:

2006

Language:

english

File:

PDF, 181 KB

english, 2006

40

Preface for the special issue on domains

REUS, BERNHARD, JUNG, ACHIM, KEIMEL, KLAUS, STREICHER, THOMAS

Journal:

Mathematical Structures in Computer Science

Year:

2010

Language:

english

File:

PDF, 182 KB

english, 2010

41

Preface

ESCARDÓ, MARTÍN, JUNG, ACHIM, STREICHER, THOMAS

Journal:

Mathematical Structures in Computer Science

Year:

2007

Language:

english

File:

PDF, 172 KB

english, 2007

42

Krivine's classical realisability from a categorical perspective

STREICHER, THOMAS

Journal:

Mathematical Structures in Computer Science

Year:

2013

Language:

english

File:

PDF, 349 KB

english, 2013

43

Models of intuitionistic set theory in subtoposes of nested realizability toposes

Maschio, Samuele, Streicher, Thomas

Journal:

Annals of Pure and Applied Logic

Year:

2015

Language:

english

File:

PDF, 453 KB

english, 2015

44

Dependence and independence results for (impredicative) calculi of dependent types

Streicher, Thomas

Journal:

Mathematical Structures in Computer Science

Year:

1992

Language:

english

File:

PDF, 2.01 MB

english, 1992

45

Quotients of countably based spaces are not closed under sobrification

GRUENHAGE, GARY, STREICHER, THOMAS

Journal:

Mathematical Structures in Computer Science

Year:

2006

Language:

english

File:

PDF, 255 KB

english, 2006

46

Patients with Active Tuberculosis often Have Different Strains in the Same Sputum Specimen

Warren, Robin M., Victor, Thomas C., Streicher, Elizabeth M., Richardson, Madalene, Beyers, Nulda, van Pittius, Nicolaas C. Gey, van Helden, Paul D.

Journal:

American Journal of Respiratory and Critical Care Medicine

Year:

2004

Language:

english

File:

PDF, 98 KB

english, 2004

47

Measurement of water colour using AVIRIS imagery to assess the potential for an operational monitoring capability in the Pamlico Sound Estuary, USA

Lunetta, Ross S., Knight, Joseph F., Paerl, Hans W., Streicher, John J., Peierls, Benjamin L., Gallo, Tom, Lyon, John G., Mace, Thomas H., Buzzelli, Christopher P.

Journal:

International Journal of Remote Sensing

Year:

2009

Language:

english

File:

PDF, 1.84 MB

english, 2009

48

Novel katG mutations causing isoniazid resistance in clinical M. tuberculosis isolates

Torres, Jessica N, Paul, Lynthia V, Rodwell, Timothy C, Victor, Thomas C, Amallraja, Anu M, Elghraoui, Afif, Goodmanson, Amy P, Ramirez-Busby, Sarah M, Chawla, Ashu, Zadorozhny, Victoria, Streicher, E

Journal:

Emerging Microbes & Infections

Year:

2015

Language:

english

File:

PDF, 512 KB

english, 2015

49

On the Typology, Costs, Energy Performance, Environmental Quality and Operational Characteristics of Double Skin Façades in European Buildings

Streicher, Wolfgang, Heimrath, Richard, Hengsberger, Herwig, Mach, Thomas, Waldner, Reinhard, Flamant, Gilles, Loncour, Xavier, Guarracino, Gérard, Erhorn, Hans, Erhorn-Kluttig, Heike, Santamouris, Ma

Journal:

Advances in Building Energy Research

Year:

2007

Language:

english

File:

PDF, 510 KB

english, 2007

50

Skin Exposure to Isocyanates: Reasons for Concern

Dhimiter Bello, Christina A. Herrick, Thomas J. Smith, Susan R. Woskie, Robert P. Streicher, Mark R. Cullen, Youcheng Liu and Carrie A. Redlich

Journal:

Environmental Health Perspectives

Year:

2007

Language:

english

File:

PDF, 661 KB

english, 2007

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски